Computer optimization - PDFSEARCH.IO - Document Search Engine

Computer optimization
Results: 3360

#	Item
251	Near-Optimal MAP Inference for Determinantal Point Processes Jennifer Gillenwater Alex Kulesza Ben Taskar Computer and Information Science University of Pennsylvania {jengi,kulesza,taskar}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2012-11-12 14:20:02 Operations research Submodular set function Combinatorial optimization Automatic summarization Linear programming Mathematical optimization Optimization problem BroydenFletcherGoldfarbShanno algorithm Algorithm Greedy algorithm Limited-memory BFGS A* search algorithm
252	123 Documenta Math. Discrete Optimization Stories Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2012-07-25 10:24:49 Theoretical computer science Operations research Mathematical optimization Combinatorial optimization Hungarian algorithm Harold W. Kuhn Discrete optimization Algorithm Carl Gustav Jacob Jacobi
253	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
254	OPTIMIZATION AND PERFORMANCE MODELING OF STENCIL COMPUTATIONS ON MODERN MICROPROCESSORS‡ KAUSHIK DATTA†, SHOAIB KAMIL∗†, SAMUEL WILLIAMS∗†, LEONID OLIKER∗, JOHN SHALF∗, KATHERINE YELICK∗† Abstract. St Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-09-06 23:58:43 Computer architecture Cache Central processing unit Microprocessors Computer memory CPU cache Stencil code Loop nest optimization Opteron POWER5 Cell Multi-core processor
255	TaskVisualization & Extraction via NEIS Final Report I. Overview Tasksuccessfully expanded the prototype NEIS system adding capabilities to help others Add to Reading List Source URL: hiwpp.noaa.gov Language: English - Date: 2016-07-07 13:03:30 Computational science Computer graphics Infographics Data modeling Visualization Big data Infrastructure optimization Data visualization VisIt
256	Optimal Efficiency Guarantees for Network Design Mechanisms? Tim Roughgarden??1 and Mukund Sundararajan? ? ?1 Department of Computer Science, Stanford University, 353 Serra Mall, Stanford, CA 94305. Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-04-09 01:40:43 Operations research Auction theory Mechanism design Game theory VickreyClarkeGroves mechanism Vickrey auction Optimization problem Mathematical optimization Steiner tree problem Shortest path problem Microeconomics
257	The Complexity of Rationalizing Network Formation Shankar Kalyanaraman Computer Science Department California Institute of Technology Pasadena, CAEmail: Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2009-08-11 16:34:41 Graph coloring Computational problems Combinatorial optimization Matching Graph minor Gap reduction Shortest path problem Sharp-P-completeness of 01-permanent
258	Scalable Fine-grained Call Path Tracing Nathan R. Tallent John Mellor-Crummey Rice University Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2011-07-07 13:50:52 Debugging Software optimization Profiling Message passing in computer clusters Instrumentation Trace Apple Developer Tools Tracing Sampling Statistics Path tracing Draft:High Performance Computing Software Development Tools
259	Nlyte Enterprise On-Demand ™ PRO DUC T B RIE F Add to Reading List Source URL: pages.nlyte.com Language: English - Date: 2016-07-22 12:11:37 Data management Information technology management Enterprise architecture Cloud storage Computer networking Data center Business intelligence Software as a service Infrastructure optimization Mobile enterprise asset management
260	GAMS – Academic Price List – March 15, 2016 This price list includes the required Base Module and a number of optional solvers. The prices shown are for an unrestricted, perpetual named single user license on a speci Add to Reading List Source URL: gams.de Language: English - Date: 2016-07-29 05:00:04 Numerical software Mathematical optimization Computer file formats SCIP Gurobi BARON Linear programming Artelys Knitro Gams MPS NEOS Server MINOS

UPDATE